$\forall$${\it TypeNames}$:Type, $d$:DS(${\it TypeNames}$), $a$:${\it TypeNames}$.
\\[0ex]dseq($d$;$a$) $\in$ dstype(${\it TypeNames}$; $d$; $a$)$\rightarrow$dstype(${\it TypeNames}$; $d$; $a$)$\rightarrow\mathbb{B}$